$\forall$$a$,$b$:IdLnk. decidable(($a$ = $b$))